static Analysis